fix(nav): relier les 2 orphelins drift main (ICT-MUH, Lean-12c) — check full-repo 3 NEW -> 1 NEW - #18276

…erie

Le check-nav-chain rougissait a la tete du 27/09 : le carnet neuf
ICT-46-Strate7-FreeCoordinates n'avait aucun lien entrant, donc aucun lecteur
ne pouvait l'atteindre en suivant la navigation de la serie (regle de l'organe :
un carnet sans lien entrant dans une serie qui en a plus d'un est un
orphan_entry).

Deux aretes en markdown seul, sans re-execution (exception C.2 markdown-only) :
- ICT-45, barre **Navigation** : Suivant -> ICT-46 ;
- ICT-46, barre **Navigation** inseree sous le titre : Index + Precedent -> ICT-45.

Mesure locale (check_notebook_nav_chain.py --check) : le finding
[orphan_entry] .../ICT-46-Strate7-FreeCoordinates.ipynb disparait. Le second
finding que la CI impute au diff, [orphan_entry] ICT-MUH-FibreTegmark, est
pre-existant sur main et sa reparation est en vol dans la PR #18276 (lane
myia-po-2026:CoursIA) -- hors perimetre de cette lane, cf commentaire de PR.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

…2c sur cette branche etait un artefact de base perimee)

…/* et rafraichir le baseline nav

- docs/curriculum/ia-symbolique.md : Lean-18/19/20/20b -> ANALYSE-01..04
  (oublies du rename, 4 liens casses par check-links)
- merge origin/main : ramene le lien 12b->12c de #18276 -- l orphan_entry
  Lean-12c sur la branche etait un artefact de base perimee, pas du rename
- baseline_nb_nav_chain regenere (436 connus ; 9 findings resolus par le
  merge, recommande par le check)

Verifie localement : check_docs_links 0 lien casse ; nav_chain --check
0 NEW finding ; fast_lane --shadow aucun bloquant en echec.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

…econd ordre en banc exécutable (#18059)

* feat(ict,#18052): module ict/free_coordinates — banc executable strate 7 (G_t, coups ontologiques, 6 proxys, predicteur espace fixe)

See #18052 · See #7745

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

* feat(ict,#18052): ICT-46 — premiere livraison strate 7, freebits de second ordre en organe executable

Notebook 29 cellules (9 code, papermill 0 erreur) : banc G_t, pont Aaronson
ordre 1 vs ordre 2, six proxys executes, deux lectures graduées, gap Mathlib,
3 exercices stubbes C.1.

See #18052 · See #16781 · See #7745

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

* docs(ict,#18052): README serie — strate 7 livree par ICT-46 (titre de section, carte, table)

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

* fix(iit,#18052): P(R) lissage Laplace symetrique en bits + marginalisation par equivalence

Reponse au CONCERN NanoClaw (review 5331122613, PR #18059) :

- performative_power: np.log -> np.log2 (les 13.033/8.363 affiches
  etaient des nats), lissage de Laplace SYMETRIQUE sur l'union des
  supports des deux bras (plus de plancher 1e-12 qui dominait la KL :
  toute action nouvelle pesait mass*ln(mass/1e-12)), nouveau parametre
  equivalence={action: classe} qui fusionne les histogrammes par classe
  avant la KL.
- Semantique honnete du contraste decoratif, en deux lectures : brut,
  une copie de paiement identique reste une option DISTINGUEE (P(R)
  1.819 bits) ; marginalisee (vendre2 = vendre), elle tombe a 0.029
  bit — la copie ne change pas la dynamique de fond. Personne morale :
  2.753 bits dans les deux lectures. Mesures multi-seeds (0/7/42/99/
  2026) dans le docstring du test.
- Test renforce : asserte desormais le claim qu'il nomme (p_fort > 2.0,
  p_deco < p_fort, p_deco_eq < 0.15, p_fort > 10*p_deco_eq) au lieu du
  seul p_deco < p_fort.
- Notebook : section 5 reecrite (3 nombres, 3 lectures, lien explicite
  au quotient d'extensions du C_t §4) ; mineur §2 : 0.938 bit mesure
  contre H(0.7)=0.881 (lissage de Laplace), remplace le approx 1 bit.
- Re-execution papermill complete (C.2) : 29 cellules, 0 erreur,
  exec counts 1-9.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

* fix(iit,#18052): table des strates -- ligne strate 7 alignee sur l'etat livre du reste du README

La ligne de la table disait encore « cadrée par la dimension D1, non livrée » alors que
l'en-tête (l.16), la carte (l.18), le bloc d'état (l.263), le paragraphe de section (l.265),
l'encart D2 (l.290) et le socle Thom (l.309) passent la strate 7 à livrée par ICT-46.
Colonne État corrigée ; colonne « Pattes de la tresse » inchangée (elle décrit l'axe
transverse, qui reste « D2 alimente sans occuper »). Markdown seul.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

* fix(notebooks,#18052): ICT-46 relie a la chaine de navigation de la serie

Le check-nav-chain rougissait a la tete du 27/09 : le carnet neuf
ICT-46-Strate7-FreeCoordinates n'avait aucun lien entrant, donc aucun lecteur
ne pouvait l'atteindre en suivant la navigation de la serie (regle de l'organe :
un carnet sans lien entrant dans une serie qui en a plus d'un est un
orphan_entry).

Deux aretes en markdown seul, sans re-execution (exception C.2 markdown-only) :
- ICT-45, barre **Navigation** : Suivant -> ICT-46 ;
- ICT-46, barre **Navigation** inseree sous le titre : Index + Precedent -> ICT-45.

Mesure locale (check_notebook_nav_chain.py --check) : le finding
[orphan_entry] .../ICT-46-Strate7-FreeCoordinates.ipynb disparait. Le second
finding que la CI impute au diff, [orphan_entry] ICT-MUH-FibreTegmark, est
pre-existant sur main et sa reparation est en vol dans la PR #18276 (lane
myia-po-2026:CoursIA) -- hors perimetre de cette lane, cf commentaire de PR.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

* fix(notebooks,#18052): ICT-MUH relie a ses deux voisins declares

ICT-MUH-FibreTegmark.ipynb declarait dans son propre en-tete « Voisin MDL :
ICT-16 | Charniere compression : ICT-17b », mais aucun des deux ne le citait
en retour : le carnet etait un `orphan_entry` pour
check_notebook_nav_chain.py — rien ne menait a lui depuis la chaine de
navigation de la serie.

Le lien reciproque est ajoute dans les deux voisins, en tete de leur cellule 0,
sous la forme deja pratiquee par la serie (ligne `**Navigation** : Index |
voisin | axe transverse`), qui est celle des paires 44<->45.

Mesure : `check_notebook_nav_chain.py --check --diff-files` passe de
`FAIL: 1 NEW finding` a `OK: 0 NEW finding`. Les deux findings restants du
rapport (Lean-12c, SL-13) sont hors du diff et deja presents sur main.

Precision de provenance : ICT-MUH etait deja orphelin sur main avant cette PR
(mesure sur un arbre propre a 52f7b32 : memes trois findings). Le lien est
donc un correctif reel, pas la reparation d'une regression introduite ici.

Edition markdown seule (exception C.2) : aucune re-execution n'est due.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

---------

Co-authored-by: Claude Sonnet 5 <noreply@anthropic.com>

…rents (pilote CL1) (#18015)

* rename(#16231): git mv purs (4 notebooks)

Table : C:/Users/jsboi/AppData/Local/Temp/analyse.tsv, pilotee par rename_notebooks.py.

* rename(#16231): referents reecrits par surface (17 fichiers)

Cellules de code citees : jamais reecrites (re-execution C.2 due).
Sorties commitees : jamais touchees.
Catalogue : restaure byte-identique a main (regle catalogue, cron le regenere).

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

* rename(#16231): profondeurs relatives + READMEs de la descente ANALYSE

19 liens repris (cellules markdown uniquement, gardes I2/I3) : liens sortants
du dossier ../../ -> ../../../ (Search, IIT), prefixe ../ vers les carnets
restes a la racine (Lean-21 x2), prefixe ANALYSE/ depuis la racine (x9).
README serie : liens table -> ANALYSE/, marqueur sous-serie ligne 18, arbre
plat -> entree dossier (modele Serre100). Nouveau ANALYSE/README.md (FR).

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

* fix(lean,#18015): retirer le compteur de lignes de la prose Lean-28

Le garde prose-counts --strict refuse la ligne parce qu'elle entre dans le diff
(#9377) ; le compteur est de la prose preexistante, non liee au renommage. La
mesure est retiree, le predicat conserve : « un monolithe single-file » au lieu
de « un monolithe single-file de 248 818 lignes ».

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

* fix(curriculum,#18015): relier les 4 liens ia-symbolique vers ANALYSE/* et rafraichir le baseline nav

- docs/curriculum/ia-symbolique.md : Lean-18/19/20/20b -> ANALYSE-01..04
  (oublies du rename, 4 liens casses par check-links)
- merge origin/main : ramene le lien 12b->12c de #18276 -- l orphan_entry
  Lean-12c sur la branche etait un artefact de base perimee, pas du rename
- baseline_nb_nav_chain regenere (436 connus ; 9 findings resolus par le
  merge, recommande par le check)

Verifie localement : check_docs_links 0 lien casse ; nav_chain --check
0 NEW finding ; fast_lane --shadow aucun bloquant en echec.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

---------

Co-authored-by: Claude Sonnet 5 <noreply@anthropic.com>